Testable system administration

"Plug & Test" at System Level via Testable TLM Primitives

With the evolution of Electronic System Level (ESL) design methodologies, we are experiencing an extensive use of Transaction-Level Modeling (TLM). TLM is a high-level approach to modeling digital systems where details of the communication among modules are separated from the those of the implementation of functional units. This paper represents a first step toward the automatic insertion of te...

On Separation by Locally Testable and Locally Threshold Testable Languages

A separator for two languages is a third language containing the first one and disjoint from the second one. We investigate the following decision problem: given two regular input languages, decide whether there exists a locally testable (resp. a locally threshold testable) separator. In both cases, we design a decision procedure based on the occurrence of special patterns in automata accepting...

The Neural Basis of Testable and Non-Testable Beliefs

Beliefs about the state of the world are an important influence on both normal behavior and psychopathology. However, understanding of the neural basis of belief processing remains incomplete, and several aspects of belief processing have only recently been explored. Specifically, different types of beliefs may involve fundamentally different inferential processes and thus recruit distinct brai...

Theoretical System Administration

In order to develop system administration strategies which can best achieve organizations’ goals, impartial methods of analysis need to be applied, based on the best information available about needs and user practices. This paper draws together several threads of earlier research to propose an analytical method for evaluating system administration policies, using statistical dynamics and the t...

System Administration Policies & Procedures